(display_mode_lines): Fix last change.

diff --git a/src/xdisp.c b/src/xdisp.c
index dff53b80b8629bbfdd094e0b095107b07be3b34e..90c36e495a2ea08e9457402e5c76bedd0b7afe21 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -13433,8 +13433,10 @@ display_mode_lines (w)
 
   if (WINDOW_WANTS_MODELINE_P (w))
     {
+      struct window *old_w = XWINDOW (old_selected_window);
+
       /* Select mode line face based on the real selected window.  */
-      display_mode_line (w, CURRENT_MODE_LINE_FACE_ID (old_selected_window),
+      display_mode_line (w, CURRENT_MODE_LINE_FACE_ID (old_w),
                         current_buffer->mode_line_format);
       ++n;
     }